Is the ontological proof for God’s existence an ontological proof for God’s existence?

Is the Ontological Proof for God’s Existence an Ontological Proof for God’s Existence?

Two questions concerning Anselm of Canterbury’s theistic argument provided in Proslogion Ch. 2 are asked and answered: is the argument valid? under what conditions could it be sound? In order to answer the questions the argument is formalized as a first-order theory called AP2. The argument turns out to be valid, although it contains a hidden premise. The argument is also claimed not to be onto...

A SHORT PROOF FOR THE EXISTENCE OF HAAR MEASURE ON COMMUTATIVE HYPERGROUPS

In this short note, we have given a short proof for the existence of the Haar measure on commutative locally compact hypergroups based on functional analysis methods by using Markov-Kakutani fixed point theorem.

Leibniz's Ontological Proof of the Existence of God and the Problem of »Impossible Objects«

The core idea of the ontological proof is to show that the concept of existence is somehow contained in the concept of God, and that therefore God’s existence can be logically derived – without any further assumptions about the external world – from the very idea, or definition, of God. Now, G.W. Leibniz has argued repeatedly that the traditional versions of the ontological proof are not fully ...

Ontological disproof of God's existence

Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers

Kurt Gödel’s ontological argument for God’s existence has been formalized and automated on a computer with higher-order automated theorem provers. From Gödel’s premises, the computer proved: necessarily, there exists God. On the other hand, the theorem provers have also confirmed prominent criticism on Gödel’s ontological argument, and they found some new results about it. The background theory...